本报北京3月29日电（记者冯永锋通讯员王光荣）中国科学院和国家自然科学基金委今天在中国科学院基础科学园区隆重举行“吴文俊先生荣获首届国家最高科学技术奖庆贺会暨数学机械化方法应用推广会”。中科院院长路甬祥在会上宣布，中科院将设专项经费，推广吴文俊先生开创的数学机械化研究成果。
为了加快数学机械化方法的应用推广，此次中科院、中科院数学与系统科学研究院和吴文俊先生本人共出资120万元，面向全国，通过支持举办讲习班、研讨会与设立项目的形式，推动数学机械化方法的应用。
数学机械化研究是由吴文俊先生在70年代末开创的，他依据中国传统数学中的机械化思想，提出了用计算机证明几何定理的方法（国外称为“吴方法”），这被认为是自动推理领域的先驱性工作。数学机械化方法应用非常广泛，目前已在曲面造型、机器人结构的位置分析、智能计算机辅助设计、新型数控机床的研制等高科技领域取得一系列成果，产生了巨大的经济效益。本报北京3月29日电（记者冯永锋通讯员王光荣）中国科学院和国家自然科学基金委今天在中国科学院基础科学园区隆重举行“吴文俊先生荣获首届国家最高科学技术奖庆贺会暨数学机械化方法应用推广会”。中科院院长路甬祥在会上宣布，中科院将设专项经费，推广吴文俊先生开创的数学机械化研究成果。
为了加快数学机械化方法的应用推广，此次中科院、中科院数学与系统科学研究院和吴文俊先生本人共出资120万元，面向全国，通过支持举办讲习班、研讨会与设立项目的形式，推动数学机械化方法的应用。
数学机械化研究是由吴文俊先生在70年代末开创的，他依据中国传统数学中的机械化思想，提出了用计算机证明几何定理的方法（国外称为“吴方法”），这被认为是自动推理领域的先驱性工作。数学机械化方法应用非常广泛，目前已在曲面造型、机器人结构的位置分析、智能计算机辅助设计、新型数控机床的研制等高科技领域取得一系列成果，产生了巨大的经济效益。
 |
